Week 6, Kripke: The Description Theory In Full